Automation of Building the Safety Models of Complex Technical Systems for Critical Application
نویسندگان
چکیده
In this paper the improvement of method of automated building of state space models of complex technical systems for critical application was proposed. On the basis of the developed model with the split state of critical failure the reliability and safety indexes of studied system can be obtained. Developed approach allows to estimate of reliability and safety indexes, that makes the impact of maintenance strategies on safety and reliability, impact of the fault tolerance on safety to be considered. This will increase the accuracy (certainty) of efficiency indexes estimation of complex technical systems for critical application.
منابع مشابه
Introduction to Schramm-Loewner evolution and its application to critical systems
In this short review we look at recent advances in Schramm-Loewner Evolution (SLE) theory and its application to critical phenomena. The application of SLE goes beyond critical systems to other time dependent, scale invariant phenomena such as turbulence, sand-piles and watersheds. Through the use of SLE, the evolution of conformally invariant paths on the complex plane can be followed; hence a...
متن کاملMethod of Video-Measurements of Traffic Flow Characteristics at a Road Junction
In the theory of traffic flows the main characteristics are: intensity, speed, and density. They make it possible to use hydrodynamic models. In connection with the development of modern highways and road networks, traffic flows behavior is becoming more and more complex and diverse. In particular, the B.Kerner studies have shown that the laminar solution of hydrodynamic models is poorly corre...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملThe Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملManagement Matters: A Leverage Point for Health Systems Strengthening in Global Health
Despite a renewed focus in the field of global health on strengthening health systems, inadequate attention has been directed to a key ingredient of high-performing health systems: management. We aimed to develop the argument that management – defined here as the process of achieving predetermined objectives through human, financial, and technical resources – is a cross-cutting function necessa...
متن کامل